1. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)